A More Rational View of Logic, Or, Up Against the Wall, Logic Imperialists!

Although we concur with many of Nils’s other assertions, this propositional doctrine seems far too extreme: a lot of interesting and important AI research is done outside of the logic-and-theorem-proving paradigm.’ Indeed, the view that other lines of inquiry serve only to produce tools that may be procedurally attached to an AI (logic-and-theorem-proving) architecture seems a kind of Logic Imperialism to those of us they wish to relegate to working in the procedure factories. This dismissal of other avenues of research as “not really AS’ would normally be cause only for a knowing shake of the head and a small chuckle, but when such views are